expecting is package{
  expect has type () => ((%a) => boolean);
  expect() is (function (a) is a matches (0,0));
}